Towards Weak Bisimulation For Coalgebras
نویسندگان
چکیده
This report contains a novel approach to observation equivalence for coalgebras. We describe how to define weak homomorphisms, weak bisimulation, and investigate the connection between these notions as well as the relation to the known theory of bisimulation for coalgebras. The ultimate result of the paper is the correctness-proof for a weak coinduction proof principle.
منابع مشابه
Weak bisimulation for coalgebras over order enriched monads
The paper introduces the notion of a weak bisimulation for coalgebras whose type is a monad satisfying some extra properties. In the first part of the paper we argue that systems with silent moves should be modelled coalgebraically as coalgebras whose type is a monad. We show that the visible and invisible part of the functor can be handled internally inside a monadic structure. In the second p...
متن کاملOn Coalgebras with Internal Moves
In the first part of the paper we recall the coalgebraic approach to handling the so-called invisible transitions that appear in different state-based systems semantics. We claim that these transitions are always part of the unit of a certain monad. Hence, coalgebras with internal moves are exactly coalgebras over a monadic type. The rest of the paper is devoted to supporting our claim by study...
متن کاملModal Logics for Observation Equivalences
In our paper [RM02a] we describe an approach to weak bisimulation for coalgebras and show that parts of the theory of universal coalgebra (with strong bisimulation) can be obtained when considering coalgebras with weak bisimulations and weak homomorphisms. In the present paper we focus on uniformly adapting modal logics that characterise strong bisimulation for coalgebras to several kinds of ob...
متن کاملA Syntactical Approach to Weak (Bi-)Simulation for Coalgebras
In [19] Rutten introduced the notion of weak bisimulations and weak bisimilarity for coalgebras of the functor F (X) = X +O. In the present paper I will introduce a notion of weak bisimulation for coalgebras based on the syntax of their functors for a large class of functors. I will show that my definition does not only coincide with the definition from [19], but with the definition for labelle...
متن کاملWeak Bisimulations for Coalgebras over Ordered Functors
The aim of this paper is to introduce a coalgebraic setting in which it is possible to generalize and compare the two known approaches to defining weak bisimulation for labelled transition systems. We introduce two definitions of weak bisimulation for coalgebras over ordered functors, show their properties and give sufficient conditions for them to coincide. We formulate a weak coinduction prin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 68 شماره
صفحات -
تاریخ انتشار 2002